IEEE Transactions on Biomedical Engineering Information for Authors

Ieee Transactions on Information Theory

A class of codes, having check matrices which are the tensor products of the check matrices of nonbinary and binary codes has been described. In particular, it has been shown in detail how the error-correction, error-detection and error-location capabilities of such codes depend on the component codes. Many other variations of such codes exist in addition to those discussed in this paper. In so...

Ieee Transactions on Information Theory

Predicate logic for software engineering - Software Engineering, IEEE Transactions on

The interpretations of logical expressions found in most introductory textbooks are not suitable for use in software engineering applications because they do not deal with partial functions. More advanced papers and texts deal with partial functions in a variety of complex ways. This paper proposes a very simple change to the classic interpretation of predicate expressions, one that defines the...

Pharmacokinetic-Pharmacodynamic Model for Educational Simulations - Biomedical Engineering, IEEE Transactions on

Pharmacokinetic-pharmacodynamic (PK-PD) models play an important role in educational simulations. The parameters of PK-PD models described in the scientific literature are obtained from studies in which the drug concentrations and the drug-effect data are measured simultaneously. Simultaneous PK-PD studies cannot be expected to incorporate all possible combinations of drugs and patient physiolo...

Information Distance - Information Theory, IEEE Transactions on

While Kolmogorov complexity is the accepted absolute measure of information content in an individual finite object, a similarly absolute notion is needed for the information distance between two individual objects, for example, two pictures. We give several natural definitions of a universal information metric, based on length of shortest programs for either ordinary computations or reversible ...